Sophie Marques

LOGIC AND PROOF

(realized with Cecilia Hernandez)

Some Basics

Basic about logic and proof notes.pdf

Practice!

• Practice set 1 with solutions (Logic tables)
• Practice set 2 with solutions (Quantifiers)
• Practice set 3 with solutions (Implication: contrapositive,negation...)
• Practice set 4 with solutions (Proof by contrapositive)

Recommended book for review of proof, logic but also set theory

Analysis: With an Introduction to Proof, 5th Edition. By Steven R. Lay